Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency

With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols is becoming increasingly significant and drawing the attention of the standards community [LCD01]. Toward this end, we present definitions of consistency and coherence for web-like environments, that is, distributed client-server information systems where the semantics of interactions with resource are more general than the read/write operations found in memory hierarchies and distributed file systems. We then present a brief review of proposed mechanisms which strengthen the consistency of caches in the web, focusing upon their conceptual contributions and their weaknesses in real-world practice. These insights motivate a new mechanism, which we call "Basis Token Consistency" or BTC; when implemented at the server, this mechanism allows any client (independent of the presence and conformity of any intermediaries) to maintain a self-consistent view of the server's state. This is accomplished by annotating responses with additional per-resource application information which allows client caches to recognize the obsolescence of currently cached entities and identify responses from other caches which are already stale in light of what has already been seen. The mechanism requires no deviation from the existing client-server communication model, and does not require servers to maintain any additional per-client state. We discuss how our mechanism could be integrated into a fragment-assembling Content Management System (CMS), and present a simulation-driven performance comparison between the BTC algorithm and the use of the Time-To-Live (TTL) heuristic.National Science Foundation (ANI-9986397, ANI-0095988

Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.National Science Foundation (ITR ANI-0205294, ANI-0095988, ANI-9986397, EIA-0202067

High-Q-factor Al [subscript 2]O[subscript 3] micro-trench cavities integrated with silicon nitride waveguides on silicon

We report on the design and performance of high-Q integrated optical micro-trench cavities on silicon. The microcavities are co-integrated with silicon nitride bus waveguides and fabricated using wafer-scale silicon-photonics-compatible processing steps. The amorphous aluminum oxide resonator material is deposited via sputtering in a single straightforward post-processing step. We examine the theoretical and experimental optical properties of the aluminum oxide micro-trench cavities for different bend radii, film thicknesses and near-infrared wavelengths and demonstrate experimental Q factors of > 10[superscript 6]. We propose that this high-Q micro-trench cavity design can be applied to incorporate a wide variety of novel microcavity materials, including rare-earth-doped films for microlasers, into wafer-scale silicon photonics platforms

A significant problem with using the Amati relation for cosmological purposes

We consider the distribution of many samples of gamma-ray bursts when plotted in a diagram with their bolometric fluence (Sbolo) versus the observed photon energy of peak spectral flux (E peak, obs). In this diagram, all bursts that obey the Amati relation (a luminosity relation where the total burst energy has a power-law relation to E peak, obs) must lie above some limiting line, although observational scatter is expected to be substantial. We confirm that early bursts with spectroscopic redshifts are consistent with this Amati limit. But we find that the bursts from BATSE, Swift, Suzaku, and Konus are all greatly in violation of the Amati limit, and this is true whether or not the bursts have measured spectroscopic redshifts. That is, the Amati relation has definitely failed. In the S bolo-E peak, obs diagram, wefind that every satellite has a greatly different distribution. This requires that selection effects are dominating these distributions, which we quantitatively identify. For detector selections, the trigger threshold and the threshold for the burst to obtain a measured E peak, obs combine to make a diagonal cutoff with the position of this cutoff varying greatly detector to detector. For selection effects due to the intrinsic properties of the burst population, the distribution of E peak, obs makes bursts with low and high values rare, while the fluence distribution makes bright bursts relatively uncommon. For a detector with a high threshold, the combination of these selection effects serves to allow only bursts within a region along the Amati limit line to be measured, and these bursts will then appear to follow an Amati relation. Therefore, the Amati relation is an artifact of selection effects within the burst population and the detector. As such, the Amati relation should not be used for cosmological tasks. This failure of the Amati relation is in no way prejudicial against the other luminosity relations. © 2012. The American Astronomical Society. All rights reserved

Post-transcriptional regulation of satellite cell quiescence by TTP-mediated mRNA decay.

Skeletal muscle satellite cells in their niche are quiescent and upon muscle injury, exit quiescence, proliferate to repair muscle tissue, and self-renew to replenish the satellite cell population. To understand the mechanisms involved in maintaining satellite cell quiescence, we identified gene transcripts that were differentially expressed during satellite cell activation following muscle injury. Transcripts encoding RNA binding proteins were among the most significantly changed and included the mRNA decay factor Tristetraprolin. Tristetraprolin promotes the decay of MyoD mRNA, which encodes a transcriptional regulator of myogenic commitment, via binding to the MyoD mRNA 3' untranslated region. Upon satellite cell activation, p38α/β MAPK phosphorylates MAPKAP2 and inactivates Tristetraprolin, stabilizing MyoD mRNA. Satellite cell specific knockdown of Tristetraprolin precociously activates satellite cells in vivo, enabling MyoD accumulation, differentiation and cell fusion into myofibers. Regulation of mRNAs by Tristetraprolin appears to function as one of several critical post-transcriptional regulatory mechanisms controlling satellite cell homeostasis

Prepping for Another Recession: Re-Assessing the Validity of Teacher Evaluation Systems for Human Capital Decision-Making

Problem. The school budget cuts concomitant with the COVID-19 pandemic mean educator jobs may again be threatened by layoffs. During prior recessions, school district administration primarily deter- mined teacher layoffs by virtue of seniority. However, as new evidence emerges that seniority policies may not be the most equitable way to determine teacher layoffs, some have turned towards performance-based measures from evaluation systems. Purpose. The purpose of this paper is to examine the validity and reli- ability of the Nevada Educator Performance Framework (NEPF) for making human capital decisions like layoffs. Recommendations. We recommend that Nevada and other states improve the differentiation in scores across the varying evaluation domains by engaging in more rigorous training of evaluators. Addi- tionally, we recommend that Nevada and other states improve the distribution of final teacher evaluation scores so that the performance measure really distinguishes among teacher performance. Strategies could include lessening the administrative burden of filling out the final evaluation, increasing the number of performance levels, or rotating the specific standards focused on each year

Pseudomonas aeruginosa arylsulfatase: a purified enzyme for the mild hydrolysis of steroid sulfates

The hydrolysis of sulfate ester conjugates is frequently required prior to analysis for a range of analytical techniques including gas chromatography-mass spectrometry (GC-MS). Sulfate hydrolysis may be achieved with commercial crude arylsulfatase enzyme preparations such as that derived from Helix pomatia but these contain additional enzyme activities such as glucuronidase, oxidase, and reductase that make them unsuitable for many analytical applications. Strong acid can also be used to hydrolyze sulfate esters but this can lead to analyte degradation or increased matrix interference. In this work, the heterologously expressed and purified arylsulfatase from Pseudomonas aeruginosa is shown to promote the mild enzyme-catalyzed hydrolysis of a range of steroid sulfates. The substrate scope of this P. aeruginosa arylsulfatase hydrolysis is compared with commercial crude enzyme preparations such as that derived from H. pomatia. A detailed kinetic comparison is reported for selected examples. Hydrolysis in a urine matrix is demonstrated for dehydroepiandrosterone 3-sulfate and epiandrosterone 3-sulfate. The purified P. aeruginosa arylsulfatase contains only sulfatase activity allowing for the selective hydrolysis of sulfate esters in the presence of glucuronide conjugates as demonstrated in the short three-step chemoenzymatic synthesis of 5α-androstane-3β,17β-diol 17-glucuronide (ADG, 1) from epiandrosterone 3-sulfate. The P. aeruginosa arylsulfatase is readily expressed and purified (0.9 g per L of culture) and thus provides a new and selective method for the hydrolysis of steroid sulfate esters in analytical sample preparation.We thank the Australian Government Anti-Doping Research Pro-gram for financial support

Luminous Infrared Galaxies with the Submillimeter Array: I. Survey Overview and the Central Gas to Dust Ratio

We present new data obtained with the Submillimeter Array for a sample of fourteen nearby luminous and ultraluminous infrared galaxies. The galaxies were selected to have luminosity distances D < 200 Mpc and far-infrared luminosities log(L_FIR) > 11.4. The galaxies were observed with spatial resolutions of order 1 kpc in the CO J=3-2, CO J=2-1, 13CO J=2-1, and HCO+ J=4-3 lines as well as the continuum at 880 microns and 1.3 mm. We have combined our CO and continuum data to measure an average gas-to-dust mass ratio of 120 +/- 28 (rms deviation 109) in the central regions of these galaxies, very similar to the value of 150 determined for the Milky Way. This similarity is interesting given the more intense heating from the starburst and possibly accretion activity in the luminous infrared galaxies compared to the Milky Way. We find that the peak H_2 surface density correlates with the far-infrared luminosity, which suggests that galaxies with higher gas surface densities inside the central kiloparsec have a higher star formation rate. The lack of a significant correlation between total H_2 mass and far-infrared luminosity in our sample suggests that the increased star formation rate is due to the increased availability of molecular gas as fuel for star formation in the central regions. In contrast to previous analyses by other authors, we do not find a significant correlation between central gas surface density and the star formation efficiency, as trace by the ratio of far-infrared luminosity to nuclear gas mass. Our data show that it is the star formation rate, not the star formation efficiency, that increases with increasing central gas surface density in these galaxies.Comment: 66 pages, 39 figures, aastex preprint format; to be published in ApJ Supplements. Version of paper with full resolution figures available at http://www.physics.mcmaster.ca/~wilson/www_xfer/ULIRGS_publi

Stereotactic body radiation therapy for the treatment of early-stage minimally invasive adenocarcinoma or adenocarcnioma in situ (formerly bronchioloalveolar carcinoma): A patterns of failure analysis

INTRODUCTION: Ongoing prospective trials exploring stereotactic body radiation therapy (SBRT) for early stage non-small cell lung cancer (NSCLC) often exclude minimally invasive adenocarcinoma or adenocarcnioma in situ, formerly bronchioloalveolar carcinoma (BAC), due to concerns for accurate target delineation on CT. We performed a patterns of failure analysis to compare outcomes between BAC and other NSCLC subtypes. METHODS: One hundred twenty patients with early stage NSCLC were treated with SBRT from 2004–2009. Pathologic confirmation of NSCLC was obtained in 97 patients. Radiotherapy was delivered according to RTOG guidelines. The log-rank test was used to compare outcomes between BAC and other NSCLC. RESULTS: Median follow-up was 29 months. The median SBRT dose was 5400 cGy. Thirteen patients had radiographically diagnosed BAC and five patients had biopsy confirmed BAC, of which two had both. The three-year local control was 100% for biopsy-proven or radiographically diagnosed BAC (n = 18) and 86% for all other NSCLC subtypes (n = 102) (p = 0.13). Likewise, no significant difference was detected between BAC and other NSCLC for 3-year regional failure (12% vs. 20%, p = 0.45), progression-free survival (57.6% vs. 53.5%, p = 0.84) or overall survival (35% vs. 47%, p = 0.66). There was a trend towards lower three-year rates of freedom from distant failure in patients with any diagnosis of BAC compared to those without (26% vs. 38%, p = 0.053). CONCLUSIONS: Compared to other NSCLC subtypes, BAC appears to have similar patterns of failure and survival after treatment with SBRT, however there may be an increased risk of distant metastases with BAC. RTOG guideline-based target delineation provides encouraging local control rates for patients with BAC